Buy Used and New Agata Pólrola Books

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach: 20 (Studies in Computational Intelligence)

by Wojciech Penczek,Agata Pólrola

ISBN 13: 9783642069420

Format: Paperback (292 pages)
Publisher: Springer
Published: 25 Nov 2010

Save for later